Skip to content

Add missing Pyre mode headers]#3044

Closed
facebook-github-bot wants to merge 1 commit intomainfrom
export-D76031572
Closed

Add missing Pyre mode headers]#3044
facebook-github-bot wants to merge 1 commit intomainfrom
export-D76031572

Conversation

@facebook-github-bot
Copy link
Copy Markdown
Contributor

Differential Revision: D76031572

Differential Revision: D76031572
@facebook-github-bot facebook-github-bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Jun 5, 2025
@facebook-github-bot
Copy link
Copy Markdown
Contributor Author

This pull request was exported from Phabricator. Differential Revision: D76031572

@TroyGarden TroyGarden closed this Jun 20, 2025
@kausv kausv deleted the export-D76031572 branch July 8, 2025 19:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. fb-exported

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants